// ========================================================================= //

// includes
#include "stdio.h"
#include "stdlib.h"
#include "time.h"
#include "string.h"
#include "limits.h"
#include "float.h"



#define JOTAI_NUM_RANDS_ 25

const unsigned rand_primes[JOTAI_NUM_RANDS_] = {179, 103, 479, 647, 229, 37, 271, 557, 263, 607, 18743, 50359, 21929, 48757, 98179, 12907, 52937, 64579, 49957, 52567, 507163, 149939, 412157, 680861, 757751};

int next_i() {
  int counter = 0;
  return rand_primes[(++counter)%JOTAI_NUM_RANDS_];
}

float next_f() {
  int counter = 0;
  return rand_primes[(++counter)%JOTAI_NUM_RANDS_] / 757751.0F;
} 


// Usage menu
void usage() {
    printf("%s", "Usage:\n\
    prog [ARGS]\n\
\nARGS:\n\
       0            big-arr\n\
       1            big-arr-10x\n\
       2            empty\n\
\n\
");

}


// ------------------------------------------------------------------------- //

#define NULL ((void*)0)
typedef unsigned long size_t;  // Customize by platform.
typedef long intptr_t; typedef unsigned long uintptr_t;
typedef long scalar_t__;  // Either arithmetic or pointer type.
/* By default, we understand bool (as a convenience). */
typedef int bool;
#define false 0
#define true 1

/* Forward declarations */
typedef  struct TYPE_4__   TYPE_2__ ;
typedef  struct TYPE_3__   TYPE_1__ ;

/* Type definitions */
struct TYPE_3__ {scalar_t__ start_freq_khz; scalar_t__ end_freq_khz; scalar_t__ max_bandwidth_khz; } ;
struct TYPE_4__ {scalar_t__ max_antenna_gain; scalar_t__ max_eirp; } ;
struct ieee80211_reg_rule {scalar_t__ flags; TYPE_1__ freq_range; TYPE_2__ power_rule; } ;

/* Variables and functions */

__attribute__((used)) static bool rule_contains(struct ieee80211_reg_rule *r1,
			  struct ieee80211_reg_rule *r2)
{
	/* for simplicity, currently consider only same flags */
	if (r1->flags != r2->flags)
		return false;

	/* verify r1 is more restrictive */
	if ((r1->power_rule.max_antenna_gain >
	     r2->power_rule.max_antenna_gain) ||
	    r1->power_rule.max_eirp > r2->power_rule.max_eirp)
		return false;

	/* make sure r2's range is contained within r1 */
	if (r1->freq_range.start_freq_khz > r2->freq_range.start_freq_khz ||
	    r1->freq_range.end_freq_khz < r2->freq_range.end_freq_khz)
		return false;

	/* and finally verify that r1.max_bw >= r2.max_bw */
	if (r1->freq_range.max_bandwidth_khz <
	    r2->freq_range.max_bandwidth_khz)
		return false;

	return true;
}

// ------------------------------------------------------------------------- //

int main(int argc, char *argv[]) {

    if (argc != 2) {
        usage();
        return 1;
    }

    int opt = atoi(argv[1]);
    switch(opt) {


    // big-arr
    case 0:
    {
          // static_instructions_O0 : 38
          // dynamic_instructions_O0 : 38
          // ------------------------------- 
          // static_instructions_O1 : 23
          // dynamic_instructions_O1 : 23
          // ------------------------------- 
          // static_instructions_O2 : 23
          // dynamic_instructions_O2 : 23
          // ------------------------------- 
          // static_instructions_O3 : 23
          // dynamic_instructions_O3 : 23
          // ------------------------------- 
          // static_instructions_Ofast : 23
          // dynamic_instructions_Ofast : 23
          // ------------------------------- 
          // static_instructions_Os : 24
          // dynamic_instructions_Os : 24
          // ------------------------------- 
          // static_instructions_Oz : 24
          // dynamic_instructions_Oz : 24
          // ------------------------------- 

          int _len_r10 = 65025;
          struct ieee80211_reg_rule * r1 = (struct ieee80211_reg_rule *) malloc(_len_r10*sizeof(struct ieee80211_reg_rule));
          for(int _i0 = 0; _i0 < _len_r10; _i0++) {
              r1[_i0].flags = ((-2 * (next_i()%2)) + 1) * next_i();
          r1[_i0].freq_range.start_freq_khz = ((-2 * (next_i()%2)) + 1) * next_i();
          r1[_i0].freq_range.end_freq_khz = ((-2 * (next_i()%2)) + 1) * next_i();
          r1[_i0].freq_range.max_bandwidth_khz = ((-2 * (next_i()%2)) + 1) * next_i();
        
          r1[_i0].power_rule.max_antenna_gain = ((-2 * (next_i()%2)) + 1) * next_i();
          r1[_i0].power_rule.max_eirp = ((-2 * (next_i()%2)) + 1) * next_i();
        
        
          }
        
          int _len_r20 = 65025;
          struct ieee80211_reg_rule * r2 = (struct ieee80211_reg_rule *) malloc(_len_r20*sizeof(struct ieee80211_reg_rule));
          for(int _i0 = 0; _i0 < _len_r20; _i0++) {
              r2[_i0].flags = ((-2 * (next_i()%2)) + 1) * next_i();
          r2[_i0].freq_range.start_freq_khz = ((-2 * (next_i()%2)) + 1) * next_i();
          r2[_i0].freq_range.end_freq_khz = ((-2 * (next_i()%2)) + 1) * next_i();
          r2[_i0].freq_range.max_bandwidth_khz = ((-2 * (next_i()%2)) + 1) * next_i();
        
          r2[_i0].power_rule.max_antenna_gain = ((-2 * (next_i()%2)) + 1) * next_i();
          r2[_i0].power_rule.max_eirp = ((-2 * (next_i()%2)) + 1) * next_i();
        
        
          }
        
          int benchRet = rule_contains(r1,r2);
          printf("%d\n", benchRet); 
          free(r1);
          free(r2);
        
        break;
    }


    // big-arr-10x
    case 1:
    {
          // static_instructions_O0 : 38
          // dynamic_instructions_O0 : 38
          // ------------------------------- 
          // static_instructions_O1 : 23
          // dynamic_instructions_O1 : 23
          // ------------------------------- 
          // static_instructions_O2 : 23
          // dynamic_instructions_O2 : 23
          // ------------------------------- 
          // static_instructions_O3 : 23
          // dynamic_instructions_O3 : 23
          // ------------------------------- 
          // static_instructions_Ofast : 23
          // dynamic_instructions_Ofast : 23
          // ------------------------------- 
          // static_instructions_Os : 24
          // dynamic_instructions_Os : 24
          // ------------------------------- 
          // static_instructions_Oz : 24
          // dynamic_instructions_Oz : 24
          // ------------------------------- 

          int _len_r10 = 100;
          struct ieee80211_reg_rule * r1 = (struct ieee80211_reg_rule *) malloc(_len_r10*sizeof(struct ieee80211_reg_rule));
          for(int _i0 = 0; _i0 < _len_r10; _i0++) {
              r1[_i0].flags = ((-2 * (next_i()%2)) + 1) * next_i();
          r1[_i0].freq_range.start_freq_khz = ((-2 * (next_i()%2)) + 1) * next_i();
          r1[_i0].freq_range.end_freq_khz = ((-2 * (next_i()%2)) + 1) * next_i();
          r1[_i0].freq_range.max_bandwidth_khz = ((-2 * (next_i()%2)) + 1) * next_i();
        
          r1[_i0].power_rule.max_antenna_gain = ((-2 * (next_i()%2)) + 1) * next_i();
          r1[_i0].power_rule.max_eirp = ((-2 * (next_i()%2)) + 1) * next_i();
        
        
          }
        
          int _len_r20 = 100;
          struct ieee80211_reg_rule * r2 = (struct ieee80211_reg_rule *) malloc(_len_r20*sizeof(struct ieee80211_reg_rule));
          for(int _i0 = 0; _i0 < _len_r20; _i0++) {
              r2[_i0].flags = ((-2 * (next_i()%2)) + 1) * next_i();
          r2[_i0].freq_range.start_freq_khz = ((-2 * (next_i()%2)) + 1) * next_i();
          r2[_i0].freq_range.end_freq_khz = ((-2 * (next_i()%2)) + 1) * next_i();
          r2[_i0].freq_range.max_bandwidth_khz = ((-2 * (next_i()%2)) + 1) * next_i();
        
          r2[_i0].power_rule.max_antenna_gain = ((-2 * (next_i()%2)) + 1) * next_i();
          r2[_i0].power_rule.max_eirp = ((-2 * (next_i()%2)) + 1) * next_i();
        
        
          }
        
          int benchRet = rule_contains(r1,r2);
          printf("%d\n", benchRet); 
          free(r1);
          free(r2);
        
        break;
    }


    // empty
    case 2:
    {
          // static_instructions_O0 : 38
          // dynamic_instructions_O0 : 38
          // ------------------------------- 
          // static_instructions_O1 : 23
          // dynamic_instructions_O1 : 23
          // ------------------------------- 
          // static_instructions_O2 : 23
          // dynamic_instructions_O2 : 23
          // ------------------------------- 
          // static_instructions_O3 : 23
          // dynamic_instructions_O3 : 23
          // ------------------------------- 
          // static_instructions_Ofast : 23
          // dynamic_instructions_Ofast : 23
          // ------------------------------- 
          // static_instructions_Os : 24
          // dynamic_instructions_Os : 24
          // ------------------------------- 
          // static_instructions_Oz : 24
          // dynamic_instructions_Oz : 24
          // ------------------------------- 

          int _len_r10 = 1;
          struct ieee80211_reg_rule * r1 = (struct ieee80211_reg_rule *) malloc(_len_r10*sizeof(struct ieee80211_reg_rule));
          for(int _i0 = 0; _i0 < _len_r10; _i0++) {
              r1[_i0].flags = ((-2 * (next_i()%2)) + 1) * next_i();
          r1[_i0].freq_range.start_freq_khz = ((-2 * (next_i()%2)) + 1) * next_i();
          r1[_i0].freq_range.end_freq_khz = ((-2 * (next_i()%2)) + 1) * next_i();
          r1[_i0].freq_range.max_bandwidth_khz = ((-2 * (next_i()%2)) + 1) * next_i();
        
          r1[_i0].power_rule.max_antenna_gain = ((-2 * (next_i()%2)) + 1) * next_i();
          r1[_i0].power_rule.max_eirp = ((-2 * (next_i()%2)) + 1) * next_i();
        
        
          }
        
          int _len_r20 = 1;
          struct ieee80211_reg_rule * r2 = (struct ieee80211_reg_rule *) malloc(_len_r20*sizeof(struct ieee80211_reg_rule));
          for(int _i0 = 0; _i0 < _len_r20; _i0++) {
              r2[_i0].flags = ((-2 * (next_i()%2)) + 1) * next_i();
          r2[_i0].freq_range.start_freq_khz = ((-2 * (next_i()%2)) + 1) * next_i();
          r2[_i0].freq_range.end_freq_khz = ((-2 * (next_i()%2)) + 1) * next_i();
          r2[_i0].freq_range.max_bandwidth_khz = ((-2 * (next_i()%2)) + 1) * next_i();
        
          r2[_i0].power_rule.max_antenna_gain = ((-2 * (next_i()%2)) + 1) * next_i();
          r2[_i0].power_rule.max_eirp = ((-2 * (next_i()%2)) + 1) * next_i();
        
        
          }
        
          int benchRet = rule_contains(r1,r2);
          printf("%d\n", benchRet); 
          free(r1);
          free(r2);
        
        break;
    }

    default:
        usage();
        break;

    }

    return 0;
}
